Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (5)Реферативна база даних (8)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Богдан И$<.>)
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
1.

Литвинов В. В. 
Формальная верификация диаграммы классов [Електронний ресурс] / В. В. Литвинов, И. В. Богдан // Математичні машини і системи. - 2013. - № 2. - С. 41-47. - Режим доступу: http://nbuv.gov.ua/UJRN/MMS_2013_2_6
Описаны наиболее популярные из существующих подходов к верификации наиболее часто используемой UML-диаграммы - диаграммы классов. Указано, что данные методы позволяют оценить ее корректность только в отдельных аспектах, и наиболее эффективным является комплексное применение данных методов.
Попередній перегляд:   Завантажити - 192.411 Kb    Зміст випуску    Реферативна БД     Цитування
2.

Литвинов В. В. 
Инструментальные средства верификации моделей программного обеспечения [Електронний ресурс] / В. В. Литвинов, И. В. Богдан, К. С. Сливко // Вісник Чернігівського державного технологічного університету. Серія : Технічні науки. - 2013. - № 2. - С. 120-125. - Режим доступу: http://nbuv.gov.ua/UJRN/Vcndtn_2013_2_19
Попередній перегляд:   Завантажити - 151.711 Kb    Зміст випуску     Цитування
3.

Литвинов В. В. 
Автоматизированная система верификации моделей объектно-ориентированного программного обеспечения [Електронний ресурс] / В. В. Литвинов, И. В. Богдан // Вісник Чернігівського державного технологічного університету. Серія : Технічні науки. - 2015. - № 1. - С. 83-90. - Режим доступу: http://nbuv.gov.ua/UJRN/Vcndtn_2015_1_16
Попередній перегляд:   Завантажити - 697.818 Kb    Зміст випуску     Цитування
4.

Богдан И. В. 
Проциклическая или антициклическая фискальная политика: методы диагностики [Електронний ресурс] / И. В. Богдан // Экономика Украины. - 2016. - № 11. - С. 45-57. - Режим доступу: http://nbuv.gov.ua/UJRN/ekukrr_2016_11_5
Попередній перегляд:   Завантажити - 216.069 Kb    Зміст випуску     Цитування
5.

Богдан И. 
Классификация ошибок на UML-диаграммах, возникающих в ходе разработки IT-проектов [Електронний ресурс] / И. Богдан, А. Задорожний // Технічні науки та технології. - 2018. - № 1. - С. 68-78. - Режим доступу: http://nbuv.gov.ua/UJRN/tnt_2018_1_10
Одной из самых популярных парадигм при создании программного обеспечения является объектно-ориентированная. Создание качественного объектно-ориентированного программного обеспечения начинается с создания его модели, представленной в виде множества UML-диаграмм, и дальнейшей верификации данной модели. Существует множество различных методов верификации: одни позволяют находить отдельные группы ошибок, другие же выполняют верификацию модели в целом. Однако, для эффективного исследования этих методов необходимо прежде всего определить, какие ошибки позволяют найти те или иные методы. Наличие классификации ошибок, которые могут присутствовать на диаграммах, существенно ускорит процесс идентификации ошибок. Предложена классификация ошибок на UML-диаграммах, которая позволяет эффективно исследовать, а также оценивать достоинства и недостатки существующих методов верификации моделей объектно-ориентированного программного обеспечения, тем самым повышая качество создаваемой программы.
Попередній перегляд:   Завантажити - 629.028 Kb    Зміст випуску    Реферативна БД     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського